Distributed Stochastic Hybrid Systems

A new Stochastic Hybrid Technique for DER Problem

This paper presents a new Hybrid Particle Swarm optimization with Time Varying Acceleration Coefficients (HPSOTVAC) and Bacteria Foraging Algorithm (BFA) namely (PSOTVAC/BFA) base fuzzy stochastic long term approach for determining optimum location and size of Distributed Energy Resources (DERs). The Monte Carlo simulation method is used to model the uncertainties associated with long-term load...

A new Stochastic Hybrid Technique for DER Problem

This paper presents a new Hybrid Particle Swarm optimization with Time Varying Acceleration Coefficients (HPSOTVAC) and Bacteria Foraging Algorithm (BFA) namely (PSOTVAC/BFA) base fuzzy stochastic long term approach for determining optimum location and size of Distributed Energy Resources (DERs). The Monte Carlo simulation method is used to model the uncertainties associated with long-term load...

Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems CPDP: A compositional framework for stochastic hybrid systems of the PDP type

6 Compositional specification of a forest landscape model using CPDPs 34 6.

Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems Semantics, bisimulation and interaction- structures for the CPDP model

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs

Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, real-time systems, hybrid systems, and distributed systems. Some applications also have a stochastic behavior, however, either because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Discrete probabilistic systems have been studied using log...

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (CMU-CS-11-111)

Logic is a powerful tool for analyzing and verifying systems, including programs, discrete systems, real-time systems, hybrid systems, and distributed systems. Some applications also have a stochastic behavior, however, either because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Discrete probabilistic systems have been studied using log...